TerminalWindow .notebook tab:active {
  background-color: #F7F7F7;
}
TerminalWindow .notebook tab {
  background-color: #CCCCCC;
}
